Modules§
- Errors which may be raised when verifying a
LightBlock
- Crypto function traits allowing mocking out during testing
- Light client implementation as per the Core Verification specification.
- Predicates for light block validation and verification.
- Defines or just re-exports the main datatypes used by the light client.
Structs§
- Predicate verifier encapsulating components necessary to facilitate verification.
Enums§
- Represents the result of the verification performed by the verifier component.
Traits§
- The verifier checks:
Type Aliases§
- The default production implementation of the
PredicateVerifier
.